Second order isomorphic types: a proof theoretic study on second order λ-calculus with surjective pairing and terminal objectDI COSMO, R.Information and computation (Print). 1995, Vol 119, Num 2, pp 176-201, issn 0890-5401Article

A travers le miroir d'une bibliographie = Through the mirror of a bibliographyDI COSMO, R.Le Médiéviste et l'ordinateur. 1997, Num 35, pp 16-19, issn 0223-3843Article

Synthesis of 4-(4'-chlorophenyl)-5-phenyl-1,2-dihydronaphthaleneCOSMO, R; STERNHELL, S.Australian journal of chemistry. 1987, Vol 40, Num 9, pp 1499-1509, issn 0004-9425Article

Steric effects: inversion of 4,5-disubstituted 9,10-dihydrophenanthrenesCOSMO, R; STERNHELL, S.Australian journal of chemistry. 1987, Vol 40, Num 1, pp 35-47, issn 0004-9425Article

Dehydrogenation of 4,5-disubstituted 9,10-dihydrophenanthrenesCOSMO, R; STERNHELL, S.Australian journal of chemistry. 1987, Vol 40, Num 12, pp 2137-2142, issn 0004-9425Article

Steric effects. Internal rotation of 1-aryl-8-phenylnaphthalenesCOSMO, R; STERNHELL, S.Australian journal of chemistry. 1987, Vol 40, Num 6, pp 1107-1126, issn 0004-9425Article

Chemical modification of polyacetylene by Diels-Alder reactionsCOSMO, R; NAARMANN, H.Molecular crystals and liquid crystals (1969). 1990, Vol 185, pp 89-98, issn 0026-8941Article

The different redox-activity of dianthrylbenzene and dianthrylbiphenylBECKER, B; COSMO, R; MÜLLEN, K et al.Tetrahedron letters. 1989, Vol 30, Num 13, pp 1629-1632, issn 0040-4039, 4 p.Article

Highly Redox-active oligomeric porphyrinsCOSMO, R; HAMMEL, D; KAUTZ, C et al.Synthetic metals. 1991, Vol 42, Num 3, pp 2643-2646, issn 0379-6779Conference Paper

Anomalous internuclear distances in 1,8-substituted naphthalenes and 1,4-substituted phenanthrenesCOSMO, R; HAMBLEY, T. W; STERNHELL, S et al.Tetrahedron letters. 1987, Vol 28, Num 49, pp 6239-6240, issn 0040-4039Article

Skeletal deformation in 4,5-disubstituted 9,10-dihydrophenanthrenes and 4,5-disubstituted phenanthrenesCOSMO, R; HAMBLEY, T. W; STERNHELL, S et al.Journal of organic chemistry. 1987, Vol 52, Num 14, pp 3119-3123, issn 0022-3263Article

Structures of 4,5-dimethoxyphenanthrene (I) and 1,8-dimethoxynaphthalene (II). Deformation in strained aromatic systems and anomalous internuclear distancesCOSMO, R; HAMBLEY, T. W; STERNHELL, S et al.Acta crystallographica. Section B, Structural science. 1990, Vol 46, Num 4, pp 557-562, issn 0108-7681, 6 p.Article

Magnetic properties of organic free radicals in polyacetylene and polypyrroleCOSMO, R; DORMANN, E; GOTSCHY, B et al.Synthetic metals. 1991, Vol 41, Num 1-2, pp 369-372, issn 0379-6779, 4 p.Conference Paper

Magnetic properties of spin-labelled polyacetyleneWINTER, H; SACHS, G; DORMANN, E et al.Synthetic metals. 1990, Vol 36, Num 3, pp 353-365, issn 0379-6779, 13 p.Article

Hoch reduzierte Porphyrine = High reduced porphyrineCOSMO, R; KAUTZ, C; MEERHOLZ, K et al.Angewandte Chemie. 1989, Vol 101, Num 5, pp 638-640, issn 0044-8249, 3 p.Article

A Linear logical view of Linear type isomorphismsBALAT, V; DI COSMO, R.Lecture notes in computer science. 1999, pp 250-265, issn 0302-9743, isbn 3-540-66536-6Conference Paper

Strong normalization of proof nets modulo structural congruencesDI COSMO, R; GUERRINI, S.Lecture notes in computer science. 1999, pp 75-89, issn 0302-9743, isbn 3-540-66201-4Conference Paper

La fronde du logiciel libreBERRY, G; LANG, B; DI COSMO, R et al.Le Journal de l'Ecole de Paris du management. 1999, Num 19, pp 39-47Article

On modular properties of higher order extensional lambda calculiDI COSMO, R; GHANI, N.Lecture notes in computer science. 1997, pp 237-247, issn 0302-9743, isbn 3-540-63165-8Conference Paper

A game semantics foundation for logic programmingDI COSMO, R; LODDO, J.-V; NICOLET, S et al.Lecture notes in computer science. 1998, pp 355-373, issn 0302-9743, isbn 3-540-65012-1Conference Paper

L'Argentine et les technologies de la communication = Argentina and communication technologiesDI COSMO, R.Internet et les chercheursInternet and searchers. 1998, pp 67-68, 2 p.Report Part